Jill Carrick, Nouveau Réalisme : Retour sur les topographies du hasard

Notes sur les Ixodidés du genre Hyalomma (Koch)

Les inscriptions du temps sur les cadrans solaires

Interrogation de données multimédia fondée sur les connaissances du domaine

In this paper, we present a domain knowledge based approach to retrieve multimedia data described by using the MPEG-7 standard. This standard is used since it provides tools to represent, in the same description, the structural and semantic aspects of the multimedia content. However, due to its XML schema based definition, MPEG-7 lacks ability to describe implicit information and to integrate d...

Sur les sous-groupes nilpotents du groupe de Cremona

We describe the nilpotent subgroups of the group Bir(P(C)) of birational transformations of the complex projective plane. Let N be a nilpotent subgroup of class k > 1; then either each element of N has finite order, or N is virtually metabelian.

RAPPORT TECHNIQUE PROUVÉ Retour d’Expérience sur la Validation du Vote Électronique

Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of implemented systems have demonstrated the importance of formally verifying the underlying voting protocols. The applied pi calculus is a formalism for modelling such protocols, and allows us to verify properties by using ...